

//window.onload=function(){ 
//	var rev = "$Rev: 16 $";
//	alert( window.title);
//	window.title = window.title + rev;
//}